cbcf7418efcd2240d66086686dd32e69af5ef47b,source/de/anomic/plasma/plasmaWordIndex.java,plasmaWordIndex,flushControl,#,140
Before Change
public void flushControl() {
// check for forced flush
ramCache.shiftK2W();
while (ramCache.maxURLinWCache() > plasmaWordIndexCache.wCacheReferenceLimit) {
flushCache(1);
}
After Change
public void flushControl() {
// check for forced flush
synchronized (this) { ramCache.shiftK2W(); }
while (ramCache.maxURLinWCache() > plasmaWordIndexCache.wCacheReferenceLimit) {
flushCache(1);
}